combine-halt-info(ea;eb;f;g;x)
== if isl(x) x
== else priority-select(m.deq-member(NatDeq;m;0.ea)  f(m);
== else priority-select(m.deq-member(NatDeq;m;0.eb)  g(m);0.merge(ea;eb)) fi 

latex

Definitions	if b t else f fi, isl(x), priority-select(f;g;as), p  q, deq-member(eq;x;L), NatDeq, merge(as;bs)
FDL editor aliases	combine-halt-info